$\forall$$a$, $b$, $c$:$\mathbb{Z}$. $c$ $\mid$ $a$ $\Rightarrow$ $c$ $\mid$ $b$ $\Rightarrow$ $c$ $\mid$ gcd($a$;$b$)